منابع مشابه
Jus Measuring: Algorithm and Complexity
We study the water jug problem and obtain new lower and upper bounds on the minimum number of measuring steps. These bounds are tight and significantly improve previous results. We prove that to compute the crucial number μc(x) (i.e., min x=x·c ||x||1, where c ∈ N, x ∈ N, ||x||1 = ∑n i=1 |xi|) for estimating the minimum measuring steps is indeed a problem in P . Moreover, we prove that testing ...
متن کاملURAT: astrometric requirements and design history
The U.S. Naval Observatory Robotic Astrometric Telescope (URAT) project aims at a highly accurate (5 mas), ground-based, all-sky survey. Requirements are presented for the optics and telescope for this 0.85 m aperture, 4.5 degree diameter field-of-view, specialized instrument, which are close to the capability of the industry. The history of the design process is presented as well as astrometri...
متن کاملCafé Jus: an Electronic Journals User Survey
During 1996, the number of scholarly periodicals available in electronic form increased rapidly. The Café Jus project took advantage of this critical mass of electronic journals to mount a major user study with taught postgraduate students, research students and staff in various disciplines at Loughborough University. The main conclusions were that low-level technical problems are still a deter...
متن کاملEffect of equiosmolar solutions of hypertonic sodium lactate versus mannitol in craniectomy patients with moderate traumatic brain injury
Latar belakang: Kraniektomi memerlukan relaksasi otak dan pencegahan edema cerebri. Hal tersebut dicapai dengan osmoterapi yang bertujuan menarik cairan dari parenkim otak. Selama ini digunakan manitol 20% namun dapat mengganggu hemodinamik karena merangsang produksi urin. Sodium laktat hipertonik 0,5M (SLH) merupakan zat alternatif untuk menurunkan edema cerebri dan memberi relaksasi. Peneliti...
متن کاملJuS: Squeezing the Sense out of JavaScript Programs
We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Health Sciences
سال: 2018
ISSN: 2477-3948,1978-6743
DOI: 10.33086/jhs.v6i1.1065